You have chosen A Structural Account of Mathematics, Calculus Ratiocinator and Calculus Ratiocinator.
All three must be different; choose another text.